A Reference Model for Requirements and Specifications

نویسندگان

  • Carl A. Gunter
  • Elsa L. Gunter
  • Michael Jackson
  • Pamela Zave
چکیده

M a y / J u n e 2 0 0 0 I E E E S O F T W A R E 37 between the user-requirements specification and the software-requirements specification, mandating complete documentation of each according to various rules. Other cases emphasize this distinction less. For instance, some groups at Microsoft argue that the difficulty of keeping a technical specification consistent with the program is more trouble than the benefit merits.2 We can find a wide range of views in industry literature and from the many organizations that write software. Is it possible to clarify these various artifacts and study their properties, given the wide variations in the use of terms and the many different kinds of software being written? Our aim is to provide a framework for talking about key artifacts, their attributes, and relationships at a general level, but precisely enough that we can rigorously analyze substantive properties.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Definition and Instantiation of a Reference Model for Problem Specifications

Based on the reference model for requirements and specifications of Jackson, Zave, et al. a reference model for problem specifications of reactive systems is defined. Considering the requirements specification technique FOREST, it is shown that both reference models can be instantiated using a real–time temporal logic and that they are compatible with structural concepts like inheritance and ag...

متن کامل

Reducing Requirements to EIS Specifications GAP Using RM-ODP Enterprise Viewpoint

RM-ODP (Reference Model Open Distributed Processing) standard prescribes architectural viewpoint specifications, but does not address traceability with requirement expression. In this article, we propose a three-layer approach to requirements modeling, from the system high level goals, to the detailed business rules and nonfunctional requirements. Then, these descriptions are connected to key e...

متن کامل

A Requirements-based Framework for the Analysis of Socio-technical System Behaviour

Requirements Engineering’s theoretical and practical developments typically look forward to the future (i.e. a system to be built). Under certain conditions, however, they can also be used for the analysis of problems related to actual systems in operation. Building on the Jackson/Zave reference model [2] for requirements and specifications, this paper presents a framework useful for the preven...

متن کامل

HEPA Filters specifications in two standards, ASME AG-1 & DOE for using in Tehran Research Reactor (TRR)

HEPA filters serve as important safety device to protect personnel as well as the public and environment from the radiation effects exist in the air, so they are vital devices in the event accidents. DOE provides directions through the use of two technical standards, 3020 and 3025, including QA requirements for the procurement, packaging, shipping and storage of HEPA filters and also provides d...

متن کامل

Modelling requirements with UML : a rigorous approach ( Doing requirements well with UML ) Half - day tutorial proposal Proposers

The tutorial addresses the problems connected with requirements modelling in a UMLbased development process. UML supports requirements modelling by means of use cases. This practice suffers from several limitations, especially as use cases are quite informal descriptions –thus allowing ambiguities and misinterpretation of requirements– and they are not object-oriented –thus making traceability ...

متن کامل

DeSyRe: decomposition of systems and their requirements: transition from system to subsystem using a criteria catalogue and systematic requirements refinement

In software systems development, companies try to handle the increasing size and complexity of their systems by signing up different subcontractors for subsystems. For distributed development and smooth integration, a major challenge is to deduce subsystem specifications from system specifications in order to deliver them to the subcontractors. Thereby, thorough requirements engineering lays th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Software

دوره 17  شماره 

صفحات  -

تاریخ انتشار 2000